-      (+ (<< (or (>>u (<< (load_mut int (+a odata/3502 -8)) 8) 17) 1) 1) -1))
+      (+ (or (<< (>>u (<< (load_mut int (+a odata/3502 -8)) 8) 17) 1) 2) -1))

  let does_not_eliminate_useless_extra_instructions () : bool =
    Obj.repr (Some 3) |> Obj.is_int

 (function{../bad_codegen_examples.ml:143,52-99}
  camlBad_codegen_examples__does_not_eliminate_useless_extra_instructions_7_23_code
      (param/948: int)
- (+ (<< (and G:"camlBad_codegen_examples__const_block95" 1) 1) 1))
+ (+ (and (<< G:"camlBad_codegen_examples__const_block95" 1) 2) 1))

       salq    $1, %rax
       andl    $2, %eax
       incq    %rax

       andl    $1, %eax
       leaq    1(%rax,%rax), %rax